using System;
using Microsoft.Pex.Framework;
using Dsa.DataStructures;

namespace Dsa.DataStructures
{
    /// <summary>A factory for Dsa.DataStructures.PriorityQueue`1[System.Int32] instances</summary>
    public static partial class PriorityQueueFactory
    {
        /// <summary>A factory for Dsa.DataStructures.PriorityQueue`1[System.Int32] instances</summary>
        [PexFactoryMethod(typeof(PriorityQueue<int>))]
        public static PriorityQueue<int> Create(int[] items)
        {       
            PexAssume.IsNotNull(items);
            PriorityQueue<int> priorityQueue = new PriorityQueue<int>(items);
            return priorityQueue;
            // This method should be able to configure the object in all possible ways.
            // Add as many parameters as needed,
            // and assign their values to each field by using the API.
        }
    }
}
